wlan.6.jani:model: info: wlan.6 is an MDP model.
wlan.6.jani:variables[7]: info: Expanding variable "s1" into 12 locations in automaton "station1".
wlan.6.jani:variables[12]: info: Expanding variable "s2" into 12 locations in automaton "station2".
wlan.6.jani: info: Need 16 bytes per state.
wlan.6.jani: info: Explored 5007548 states for COL=0.
wlan.6.jani:properties[2]: warning: Computing minimum expected reward in property "cost_min" without checking for zero-reward end components.
Peak memory usage: 1594 MB
Analysis results for wlan.6.jani
Experiment COL=0
+ State space exploration
State size: 16 bytes
States: 5007548
Transitions: 6350470
Branches: 11475748
Rate: 419568 states/s
Time: 12.5 s
+ Property cost_min
Value: 7625
Bounds: [7625, infinity)
Time: 774.7 s
+ Precomputations
Max. prob. 1 states: 5007548
Time for max. prob. 1 states: 772.5 s
+ Essential states
Iterations: 16
Essential states: 24701
Transitions: 41595
Branches: 871653
Time: 2.1 s
+ Value iteration
Final error: 0
Iterations: 8
Time: 0.0 s
Exported results to file "/out.txt".